Reliability Prediction in Dependability Models Considering Transient Faults
نویسندگان
چکیده
To evaluate the dependability properties of mission-critical systems like reliability, safety, availability, maintainability etc. a Markov chain models can be used. However the dependability prediction using these models is focused only on the stuck-at faults even though the system is exposed to the influence of transient faults produced by the operational environment. It is the aim of this paper to show how the transient faults influence the dependability prediction -e.g., the calculation of the dependability parameter lambda (the failure rate of the system). A basic TMR (Triple Modular Redundancy) Markov chain model using stuck-at faults is compared to our extended TMR model considering both the stuck-at and transient fault.
منابع مشابه
Petri Net Based Software Dependability Engineering
Methods of software dependability engineering can be divided into two groups methods to improve the software dependability and methods to predict the reached degree of software dependability. Among those methods, which aim at the improvement of software dependability, the Petri net based validation techniques to avoid faults during the development phase have attract a lot of attention in the la...
متن کاملExperimental Dependability Evaluation of the Artk68-FT Real-time Kernel
This paper presents an experimental dependability evaluation of a small real-time kernel called Artk68-FT intended for distributed fault-tolerant real-time systems. A main goal of this research is to improve the dependability of such systems by using a two-level approach for tolerating transient faults. By providing mechanisms in the kernel for tolerating transient faults at the node level, the...
متن کاملDependability modeling and evaluation of recovery block systems
The paper presents performance modeling and evaluation o f recovery block systems. In order to produce dependability model for complete fault tolerant system we consider the interaction between the faults in the alternatives and the faults in the acceptance test. The study is based on finite slate continuous time Markov model, and unlike previous works, we carry out the analysis in the time dom...
متن کاملOn Dependability Evaluation of Fieldbus Networks: a Permanent Fault Analysis
The paper focus dependability modelling and evaluation of fieldbus networks in the presence of permanent faults. Several architectures are analysed, considering different operating modes, topologies and fault types. Two measures of dependability are evaluated: reliability and asymptotic unavailability. The aim is to compare these various design solutions, to define essential parameters and to s...
متن کاملFault-Tolerance Strategies and Probabilistic Guarantees for Real-Time Systems
Ubiquitous deployment of embedded systems is having a substantial impact on our society, since they interact with our lives in many critical real-time applications. Typically, embedded systems used in safety or mission critical applications (e.g., aerospace, avionics, automotive or nuclear domains) work in harsh environments where they are exposed to frequent transient faults such as power supp...
متن کامل